Browsing by Subject "Computation theory"
Now showing items 1-20 of 60
-
Article
ACLP: Flexible solutions to complex problems
(1997)In this paper we present a new system for non-monotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) ...
-
Article
Agent planning, negotiation and control of operation
(2004)This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, and control of operation, for reconciling rationality ...
-
Conference Object
Argumentation for propositional logic and nonmonotonic reasoning
(CEUR-WS, 2014)Argumentation has played a significant role in understanding and unifying under a common framework different forms of defeasible reasoning in AI. Argumentation is also close to the original inception of logic as a framework ...
-
Article
An argumentation framework for reasoning about actions and change
(1999)We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation ...
-
Article
Argumentation Logic
(2014)We propose a novel logic-based argumentation framework, called Argumentation Logic (AL), built upon a restriction of classical Propositional Logic (PL) as its underlying logic. This allows us to control the application of ...
-
Conference Object
Argumentation: Reconciling human and automated reasoning
(CEUR-WS, 2016)We study how using argumentation as an alternative foundation for logic gives a framework in which we can reconcile human and automated reasoning. We analyse this reconciliation between human and automated reasoning at ...
-
Article
Asynchronous timed multimedia environments based on the coordination paradigm
(2003)This paper combines work done in the areas of Artificial Intelligence, Multimedia Systems and Coordination Programming to derive a framework for Distributed Multimedia Systems based on asynchronous timed computations ...
-
Conference Object
Automated segmentation of folk songs using artificial neural networks
(INSTICC Press, 2014)Two different systems are introduced, that perform automated audio annotation and segmentation of Cypriot folk songs into meaningful musical information. The first system consists of three artificial neural networks (ANNs) ...
-
Article
Brownian-like kinematics of ball milling for particulate structural modeling
(2016)Ball milling motion has been previously studied through computationally expensive, off-line experimental video processing and numerical simulations by the discrete element method. This research establishes a more efficient ...
-
Conference Object
A catalog of ∃ℝ-complete decision problems about Nash equilibria in multi-player games
(Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016)[Schaefer and Štefankovic, Theory of Computing Systems, 2015] provided an explicit formulation of ∃ℝ as the class capturing the complexity of deciding the Existential Theory of the Reals, and established that deciding, ...
-
Article
Classical methods in nonmonotonic reasoning
(1994)In this paper we present and compare some classical problem solving methods for computing the stable models of a general propositional logic program. In particular linear programming, propositional satisfiability, constraint ...
-
Article
Complexity of rational and irrational nash equilibria
(2014)We introduce two new natural decision problems, denoted as ∃ RATIONAL NASH and ∃ IRRATIONAL NASH, pertinent to the rationality and irrationality, respectively, of Nash equilibria for (finite) strategic games. These problems ...
-
Conference Object
Computation of correlation matrices for tetraquark candidates with Jp = 0+ and flavor structure q1q2q3q3
(Proceedings of Science (PoS), 2015)The conjecture that several recently observed mesons have a structure, which is not dominated by an ordinary quark-Antiquark pair, but by a four-quark structure, is being actively investigated both theoretical and ...
-
Conference Object
Computation of disconnected contributions to nucleon observables
(Proceedings of Science (PoS), 2013)We compare several methods for computing disconnected fermion loops contributing to nucleon three-point functions. The comparison is carried out using one ensemble of Nf =2+1+1 twisted mass fermions with pion mass of 373 ...
-
Article
Computational modeling of visual selective attention based on correlation and synchronization of neural activity
(2009)Within the broad area of computational intelligence, it is of great importance to develop new computational models of human behaviour aspects. In this report we look into the recently suggested theory that neural synchronization ...
-
Article
Computing the acceptability semantics
(1995)We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. These proof theory and procedure are defined ...
-
Article
Conformational analysis of compstatin analogues with molecular dynamics simulations in explicit water
(2007)The cyclic 13-residue peptide compstatin is a potential therapeutic agent against the unregulated activation of the complement system. A thorough knowledge of its structural and dynamical properties in solution may assist ...
-
Article
A diffuse reflectance infrared fourier-transform spectra and density functional theory study of CO adsorption on Rhγ-Al2O 3
(2007)The vibrational frequencies and bond dissociation energies of carbon monoxide adsorbed to various rhodium clusters are computed, and the diffuse reflectance infrared Fourier-transform (DRIFT) spectrum of carbon monoxide ...
-
Conference Object
Distributed context management in a Mobility and Adaptation Enabling Middleware (MADAM)
(2006)As computing devices are getting smaller, we tend to bring them everywhere. Consequently the operating conditions of the devices are constantly changing (e.g. changing user requirements, change in the system context and ...
-
Article
Distributed function calculation and consensus using linear iterative strategies
(2008)Given an arbitrary network of interconnected nodes, we develop and analyze a distributed strategy that enables a subset of the nodes to calculate any given function of the node values. Our scheme utilizes a linear iteration ...